<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>
<title>mmj.util</title>
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
</head>
<body>
<script type="text/javascript"><!--
    if (location.href.indexOf('is-external=true') == -1) {
        parent.document.title="mmj.util";
    }
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar_top">
<!--   -->
</a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li class="navBarCell1Rev">Package</li>
<li>Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/tmff/package-summary.html">Prev Package</a></li>
<li><a href="../../mmj/verify/package-summary.html">Next Package</a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/package-summary.html" target="_top">Frames</a></li>
<li><a href="package-summary.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<a name="skip-navbar_top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<div class="header">
<h1 title="Package" class="title">Package&nbsp;mmj.util</h1>
</div>
<div class="contentContainer">
<ul class="blockList">
<li class="blockList">
<table class="packageSummary" border="0" cellpadding="3" cellspacing="0" summary="Class Summary table, listing classes, and an explanation">
<caption><span>Class Summary</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Class</th>
<th class="colLast" scope="col">Description</th>
</tr>
<tbody>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/BatchFramework.html" title="class in mmj.util">BatchFramework</a></td>
<td class="colLast">
<div class="block">BatchFramework is a quick hack to run mmj2 without the JUnit training wheels.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/BatchMMJ2.html" title="class in mmj.util">BatchMMJ2</a></td>
<td class="colLast">
<div class="block">BatchMMJ2 is the main batch mmj2 program to process a Metamath (.mm) file.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></td>
<td class="colLast">
<div class="block">Boss is the superclass of GrammarBoss, LogicalSystemBoss, etc, which are used
 by BatchFramework to "exercise" mmj2 in batch mode.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/CommandLineArguments.html" title="class in mmj.util">CommandLineArguments</a></td>
<td class="colLast">
<div class="block">CommandLineArguments loads the arguments on the java command line into the
 <code>RunParmFile</code> and <code>Paths</code> objects.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/DelimitedTextParser.html" title="class in mmj.util">DelimitedTextParser</a></td>
<td class="colLast">
<div class="block">Class <code>DelimitedTextParser</code> parses a line of delimited text input as a
 String.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/Dump.html" title="class in mmj.util">Dump</a></td>
<td class="colLast">
<div class="block">Dump started out as just testing code that could be "throwaway".</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/GMFFBoss.html" title="class in mmj.util">GMFFBoss</a></td>
<td class="colLast">&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/GrammarBoss.html" title="class in mmj.util">GrammarBoss</a></td>
<td class="colLast">
<div class="block">Responsible for building and using Grammar.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/LogicalSystemBoss.html" title="class in mmj.util">LogicalSystemBoss</a></td>
<td class="colLast">
<div class="block">Responsible for building, loading, maintaining and fetching LogicalSystem,
 and for executing RunParms involving it.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/MergeSortedArrayLists.html" title="class in mmj.util">MergeSortedArrayLists</a>&lt;T&gt;</td>
<td class="colLast">
<div class="block">Class <code>MergeSortedArrayLists</code> merges elements of a sorted source into a
 sorted destination ArrayList.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/MMJ2FailPopupWindow.html" title="class in mmj.util">MMJ2FailPopupWindow</a></td>
<td class="colLast">
<div class="block"><code>MMJ2FailPopupWindow</code> displays start-up and abnormal termination
 errors.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/OutputBoss.html" title="class in mmj.util">OutputBoss</a></td>
<td class="colLast">
<div class="block">Responsible for managing and using Messages, Dump and writing to
 sysOut/sysErr.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/Paths.html" title="class in mmj.util">Paths</a></td>
<td class="colLast">
<div class="block"><code>Paths</code> holds the path-related command line arguments and provides
 several path-related services.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/ProofAsstBoss.html" title="class in mmj.util">ProofAsstBoss</a></td>
<td class="colLast">
<div class="block">Responsible for building and triggering ProofAsst.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a></td>
<td class="colLast">
<div class="block">RunParmArrayEntry holds a RunParm "name" string AND an array(0->n) of RunParm
 "value" strings, OR it holds a "commentLine" (but not both).</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/RunParmFile.html" title="class in mmj.util">RunParmFile</a></td>
<td class="colLast">
<div class="block">RunParmFile reads lines designed to be parsed by DelimitedTextParser and
 returns RunParmArrayEntry objects.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/SvcBoss.html" title="class in mmj.util">SvcBoss</a></td>
<td class="colLast">
<div class="block">Manages access to the facilities which allow use of mmj2 as a service.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/TheoremLoaderBoss.html" title="class in mmj.util">TheoremLoaderBoss</a></td>
<td class="colLast">
<div class="block">Responsible for building and referencing TheoremLoader.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/TMFFBoss.html" title="class in mmj.util">TMFFBoss</a></td>
<td class="colLast">
<div class="block">Responsible for building a TMFFPreferences object, ensuring its integrity,
 and providing references to it upon demand.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/UtilConstants.html" title="class in mmj.util">UtilConstants</a></td>
<td class="colLast">
<div class="block">(Most) Constants used in mmj.util classes</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../mmj/util/VerifyProofBoss.html" title="class in mmj.util">VerifyProofBoss</a></td>
<td class="colLast">
<div class="block">Responsible for building, loading, maintaining and fetching ProofVerifier,
 and for executing RunParms involving it.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../mmj/util/WorkVarBoss.html" title="class in mmj.util">WorkVarBoss</a></td>
<td class="colLast">
<div class="block">Manages access to the WorkVarManager resource and processes Work Var
 RunParms.</div>
</td>
</tr>
</tbody>
</table>
</li>
</ul>
</div>
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar_bottom">
<!--   -->
</a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li class="navBarCell1Rev">Package</li>
<li>Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/tmff/package-summary.html">Prev Package</a></li>
<li><a href="../../mmj/verify/package-summary.html">Next Package</a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/package-summary.html" target="_top">Frames</a></li>
<li><a href="package-summary.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<a name="skip-navbar_bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
